//
// #001007 编写一个打印 EOF 值的程序
//
// Created by DongPan on 5/23/2022.
//
#include <stdio.h>

int main(void)
{
    printf("EOF is %d\n", EOF);

    return 0;
}

